tooltips: Don't use a cursor_size of 0

This leads to flickering tooltips.

diff --git a/gtk/gtktooltip.c b/gtk/gtktooltip.c
index f5c155c2a32af108d3a701c61b917bb54f6e42de..f309fc7683e6f7a7138e97df3019c7a86f15a781 100644 (file)
--- a/gtk/gtktooltip.c
+++ b/gtk/gtktooltip.c
@@ -603,6 +603,9 @@ gtk_tooltip_position (GtkTooltip *tooltip,
                 "gtk-cursor-theme-size", &cursor_size,
                 NULL);
 
+  if (cursor_size == 0)
+    cursor_size = 16;
+
   if (device)
     anchor_rect_padding = MAX (4, cursor_size - 32);
   else